\select@language {brazil}
\contentsline {section}{\numberline {1}Introdu\IeC {\c c}\IeC {\~a}o}{2}{section.1}
\contentsline {section}{\numberline {2}An\IeC {\'a}lise Sem\IeC {\^a}ntica}{2}{section.2}
\contentsline {subsection}{\numberline {2.1}Checagem de Tipos}{2}{subsection.2.1}
\contentsline {subsection}{\numberline {2.2}Regras de Boa Forma\IeC {\c c}\IeC {\~a}o}{2}{subsection.2.2}
\contentsline {subsection}{\numberline {2.3}Testes e Execu\IeC {\c c}\IeC {\~a}o}{2}{subsection.2.3}
\contentsline {section}{\numberline {3}Dificuldades com a Linguagem}{2}{section.3}
\contentsline {section}{\numberline {4}An\IeC {\'a}lise Restringida}{2}{section.4}
\contentsline {subsection}{\numberline {4.1}An\IeC {\'a}lise Restringida}{2}{subsection.4.1}
\contentsline {section}{\numberline {5}Conclus\IeC {\~a}o}{2}{section.5}
